1. Advanced computer architecture :
پدیدآورنده: Chao Li, Junjie Wu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture, Congresses.,Computer System Implementation.,Logic Design.,Operating Systems.,Processor Architectures.,Special Purpose and Application-Based Systems.,Computer architecture & logic design.,Computer architecture.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
2. Challenges for action theories
پدیدآورنده: Michael Thielscher
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1775
3. Design of digital systems and devices
پدیدآورنده: Marian Adamski, Alexander Barkalov, and Marek W?egrzyn (Eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: System design,Logic design,Digital electronics, Design
رده :
QA
،
76
.
9
،.
S88
,
D47
،
2011
4. Foundations of computing : system development with set theory and logic
پدیدآورنده: Scheurer, Thierry
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design,، Set theory,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
S29
1994
5. Foundations of computing : system development with set theory and logic
پدیدآورنده: Scheurer, Thierry.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: System design , Set theory , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
S29
1994
6. Fundamentals of computer architecture and design /
پدیدآورنده: Ahmet Bindal.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture.,Logic design.,System design.,Computer architecture.,Logic design.,System design.
رده :
QA76
.
9
.
A73
7. Fuzzy systems design: social and engineering applications
پدیدآورنده: Leonid Reznik, Vladimir Dimitrov, Janusz Kacprzyk )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، System design,، Fuzzy systems,، Logic programming
رده :
QA
76
.
9
.
S88
F89
1998
8. Hacking GPS
پدیدآورنده: / Kathie Kingsley-Hughes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: GPS receivers- Design and construction Amateurs' manuals,Global positioning system Amateurs' manuals,Programmable logic devices Amateurs' manuals,Computer hackers
رده :
E-BOOK
9. Hacking GPS
پدیدآورنده: / Kathie Kingsley-Hughes
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: GPS receivers- Design and construction- Amateurs' manuals,Global positioning system- Amateurs' manuals,Programmable logic devices- Amateurs' manuals,Computer hackers
رده :
TK9956
.
K496
2005
10. Hacking GPS
پدیدآورنده: / Kathie Kingsley-Hughes
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: GPS receivers- Design and construction- Amateurs' manuals,Global positioning system- Amateurs' manuals,Programmable logic devices- Amateurs' manuals,Computer hackers
رده :
TK9956
.
K49
2005
11. Hacking GPS
پدیدآورنده: / Kathie Kingsley-Hughes
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: GPS receivers- Design and construction Amateurs' manuals,Global positioning system Amateurs' manuals,Programmable logic devices Amateurs' manuals,Computer hackers
رده :
TK9956
.
K496
2005
12. Hacking GPS
پدیدآورنده: Kathie Kingsley-Hughes
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، GPS receivers - Design and construction,، Global positioning system,، Programmable logic devices,، Computer hackers
رده :
TK
9956
.
K56
H33
2005
13. Hacking GPS
پدیدآورنده: / Kathie Kingsley-Hughes
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: GPS receivers--Design and construction--Amateurs' manuals,Global Positioning System--Amateurs' manuals,Programmable logic devices--Amateurs' manuals,Computer hackers.
رده :
TK
,
9956
,.
K496
,
2005
14. Introduction to digital systems design /
پدیدآورنده: Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer hardware description languages.,System design.,Algorithms.,Electrical Engineering.,Logic Design.,Computer architecture & logic design.,Computer hardware description languages.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Electrical engineering.,Numerical analysis.,System design.,Technology & Engineering-- Electrical.
رده :
QA76
.
9
.
S88
15. Logic and computer design fundamentals
پدیدآورنده: M. Morris Mano, Charles R. Kime
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic design,Computer engineering,System design
رده :
TK
،
7868
،.
L6
,
M36
16. Multi-Threaded Programming in C++
پدیدآورنده: by Mark Walmsley.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer system performance.,Logic design.
رده :
QA76
.
73
.
C153
B963
2000
17. Performance evaluation: metrics, models and benchmarks: SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008: proceedings
پدیدآورنده: / editors Samuel Kounev, Ian Gorton, Kai Sachs
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer Communication Networks,Computer system performance,Logic design,Communication Networks, Computer Communication Networks, Computer system performance, Logic design.
19. Synthesis techniques and optimizations for reconfigurable systems
پدیدآورنده: / by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: System design,Logic design
رده :
QA
76
.
9
.
S88K37
2004
20. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
پدیدآورنده: B. Banieqbal, H. Barringer, A. Pnueli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
398
